Reliable Software Technologies - Ada-Europe 2014  19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /  [electronic resource] : 
edited by Laurent George, Tullio Vardanega. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (XIV, 193 p. 56 ill.) 
 - Lecture Notes in Computer Science,  8454  0302-9743 ; .
<br/><br/>Formal methods -- Uses of ada -- Real-time scheduling -- Applications. 
<br/><br/><label>ISBN: </label>9783319083117 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Special purpose computers.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Mathematical logic.