Home /Research /Rigorous System Design Flow for Autonomous Systems
OTHER

Rigorous System Design Flow for Autonomous Systems

Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki

Year
2014
Citations
3

Keywords

CorrectnessComputer scienceComponent (thermodynamics)DeadlockA priori and a posterioriSystems engineeringSystems designDesign flowSoftware engineeringDistributed computing

Related papers

Browse all OTHER papers