10
Publications
182
Citations
10
H-Index
2011
Active since
Jason Jaskolka is an author at Carleton University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationSystems EngineeringFormal MethodsSystem SoftwareDistributed SystemsFormal SpecificationVerificationComplex Systems
Publications per year
2011–2022
10
10
Rows per page
1–5 of 10