Model-based Analysis and Testing of Embedded Systems

Nielsen, Brian (Projektdeltager)
Larsen, Kim Guldstrand (Projektdeltager)
David, Alexandre (Projektdeltager)
Mikučionis, Marius (Projektdeltager)
Skou, Arne (Projektdeltager)

12 Konferenceartikel i proceeding
3 Tidsskriftartikel
1 Paper uden forlag/tidsskrift
1 Working paper

1 resultater

Filter

2014

Model checking process algebra of communicating resources for real-time systems
Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 s.
Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang
Fil

385 Downloads (Pure)