[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2012 Volume 7308 || Formal Modelling for Ada Implementations: Tasking Event-B
Brorsson, Mats, Pinho, Luís MiguelТом:
10.1007/97
Рік:
2012
Мова:
english
DOI:
10.1007/978-3-642-30598-6_9
Файл:
PDF, 349 KB
english, 2012
File converter
Більше результатів пошуку
More benefits 
