Leveraging applications of formal methods, verification, and validation fromLecture Notes in Computer Science 0 Type: Book
Advances in computer science, environment, ecoinformatics, and education fromCommunications in computer and information science 0 Type: Book
Selected papers of the annual international conference of the German Operations Research Society (GOR) at Uni… by Gesellschaft für Operations Research fromOperations Research Proceedings 0 Type: Book
Optimization based clearance of flight control laws: a civil aircraft application fromLecture notes in control and information sciences 0 Type: Book
