7
Publications
155
Citations
7
H-Index
1995
Active since
C. Lakos is an author at University of Tasmania specializing in engineering, formal verification, and systems engineering.
Top concepts
EngineeringFormal MethodsFormal VerificationSystems EngineeringComputer ScienceProcess ControlSoftware DesignDesignVerificationSocial Sciences
Publications per year
1995–2007
7
7
The Object Orientation of Object Petri Nets
C. Lakos · 1995 · 36 citations
Modular analysis of systems composed of semiautonomous subsystems
C. Lakos, Laure Petrucci · 2004 · 31 citations
Modelling layered protocols in LOOPN
Rows per page
1–5 of 7