Výsledky vyhledávání - "Formal Methods Applied to Complex Systems: Implementation of the B Method"

Formal Methods Applied to Complex Systems: Implementation of the B Method

Autoři: Jean-Louis Boulanger

Přístupová URL adresa: http://doi.wiley.com/10.1002/9781119002727

Modeling of a speed control system using Event-B.

Autoři: Mammar, Amel Frappier, Marc

Zdroj: International Journal on Software Tools for Technology Transfer; Jun2024, Vol. 26 Issue 3, p347-363, 17p

Témata: AUTOMOBILE speed, SPEED, SPEED limits, AUTOMATIC train control

SMT solving for the validation of B and Event-B models.

Autoři: Schmidt, Joshua Leuschel, Michael

Zdroj: International Journal on Software Tools for Technology Transfer; Dec2022, Vol. 24 Issue 6, p1043-1077, 35p

Témata: CONSTRAINT programming, THEORY of constraints, LOGIC programming

List of Authors.

Zdroj: Formal Methods Applied to Complex Systems; 2014, p487-488, 2p

Other titles from iSTE in Computer Engineering.

Autoři: Pétrowski, Alain Ben-Hamida, Sana

Zdroj: Evolutionary Algorithms; 2017, pG1-G8, 8p

Other titles from iSTE in Computer Engineering.

Autoři: Ma, Haiping Simon, Dan

Zdroj: Evolutionary Computation with Biogeography-based Optimization; 2017, pG1-G8, 8p

BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.

Autoři: Ladenberger, Lukas Leuschel, Michael

Zdroj: Software Engineering & Formal Methods (9783319415901); 2016, p403-417, 15p

Other Titles from ISTE in Computer Engineering.

Autoři: Labadie, Nacima Prins, Christian Prodhon, Caroline

Zdroj: Metaheuristics for Vehicle Routing Problems; 2016, p171-177, 7p

Other Titles from ISTE in Computer Engineering.

Autoři: Deroussi, Laurent

Zdroj: Metaheuristics for Logistics; 2016, p199-205, 7p

Other titles from iSTE in Computer Engineering.

Autoři: Lutton, Evelyne Perrot, Nathalie Tonda, Alberto

Zdroj: Evolutionary Algorithms for Food Science & Technology, Volume 7; 2016, pG1-G7, 7p

Other titles from iSTE in Computer Engineering.

Autoři: Rigo, Michel

Zdroj: Advanced Graph Theory & Combinatorics; 2016, pG1-G7, 7p

Other titles from iSTE in Computer Engineering.

Autoři: Leignel, Jean-Louis Ungaro, Thierry Staar, Adrien

Zdroj: Digital Transformation; 2016, pG1-G7, 7p

Formal Model-Based Constraint Solving and Document Generation.

Autoři: Leuschel, Michael

Zdroj: Formal Methods: Foundations & Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings; 2016, p3-20, 18p

Other Titles from ISTE in Computer Engineering.

Autoři: Magoulès, Frédéric Zhao, Hai-Xiang

Zdroj: Data Mining & Machine Learning in Building Energy Analysis; 2016, p165-171, 7p

Other titles from iSTE in Computer Engineering.

Autoři: Leroy, Laure

Zdroj: Eyestrain Reduction in Stereoscopy; 2016, pG1-G7, 7p

Other titles from iSTE in Computer Engineering.

Autoři: Blum, Christian Festa, Paola

Zdroj: Metaheuristics for String Problems in Bio-Informatics; 2016, pG1-G7, 7p

Other titles from iSTE in Computer Engineering.

Autoři: Dhaenens, Clarisse Jourdan, Laetitia

Zdroj: Metaheuristics for Big Data, Volume 5; 2016, pG1-G7, 7p

SMT Solvers for Validation of B and Event-B Models.

Autoři: Krings, Sebastian Leuschel, Michael

Zdroj: Integrated Formal Methods (9783319336923); 2016, p361-375, 15p

Other Titles from ISTE in Computer Engineering.

Autoři: Magoulès, Frédéric Roux, François-Xavier Houzeaux, Guillaume

Zdroj: Parallel Scientific Computing (9781848215818); 2015, p347-353, 7p

Other Titles from ISTE in Computer Engineering.

Autoři: Durand, Nicolas Gianazza, David Gotteland, Jean-Baptiste a další

Zdroj: Metaheuristics for Air Traffic Management; 2015, p195-201, 7p