|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 47 occurrences of 39 keywords
|
|
|
|
|
Results
Found 320 publication records. Showing 320 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter |
Automated Property-Based Testing from AADL Component Contracts.  |
FMICS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang |
Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn |
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi |
The 4SECURail Case Study on Rigorous Standard Interface Specifications. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru |
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga |
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen |
Refinement of Systems with an Attacker Focus. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen |
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bence Graics, Vince Molnár, István Majzik |
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Soltani 0001, Matthias Volk 0001, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga |
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Laura Titolo (eds.) |
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson |
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba |
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Franco Mazzanti, Alessio Ferrari 0001 |
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Nicolás Pozas, Carlos Ramírez, Camilo Rocha |
Statistical Model Checking for sf P. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel |
Model-Based Testing of Internet of Things Protocols. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher |
Verification of Behavior Trees using Linear Constrained Horn Clauses. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn |
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Vu, Christopher Happe, Michael Leuschel |
Generating Domain-Specific Interactive Validation Documents. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Grochowski, Marcus Völker, Stefan Kowalewski |
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Hampus, Mattias Nyberg |
Formally Verifying Decompositions of Stochastic Specifications. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
Deductive Verification of Smart Contracts with Dafny. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Reinforcement Learning with Guarantees that Hold for Ever. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira 0001 |
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Stramaglia, Jeroen J. A. Keiren |
Formal Verification of an Industrial UML-like Model using mCRL2. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rose Bohrer |
Chemical Case Studies in KeYmaera X. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober |
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Berger 0002, Wiebke Lenze, Thomas Noll 0001, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel |
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Marieke Huisman (eds.) |
Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Luttik |
Supporting Railway Innovations with Formal Modelling and Verification. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julius Adelt, Julian Gebker, Paula Herber |
Towards Reusable Formal Models for Custom Real-Time Operating Systems. |
FMICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudio Belo Lourenço, Denis Cousineau 0002, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue |
Automated Verification of Temporal Properties of Ladder Programs. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth |
ProB2-UI: A Java-Based User Interface for ProB. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Schmidt, Michael Leuschel |
Improving SMT Solver Integrations for the Validation of B and Event-B Models. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso |
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Dominique Méry, Philippe A. Palanque |
Standard Conformance-by-Construction with Event-B. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Larraz, Mickaël Laurent, Cesare Tinelli |
Merit and Blame Assignment with Kind 2. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Westphal |
On Education and Training in Formal Methods for Industrial Critical Systems. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Jahanian |
Parametric Faults in Safety Critical Programs. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo |
Spatial Model Checking for Smart Stations - Research Challenges. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang 0006 |
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lluch-Lafuente, Anastasia Mavridou (eds.) |
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos |
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Thrane Hansen, Cláudio Gomes 0001, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock 0001 |
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Rubbens, Sophie Lathouwers, Marieke Huisman |
Modular Transformation of Java Exceptions Modulo Errors. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Alessandro Fantechi, Irene Rosadi |
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Binder 0001, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen |
Skylines for Symbolic Energy Consumption Analysis. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | May Wu, Jessie C. Rosenberg, Nathan Fulton |
A Formally Verified Plasma Vertical Position Control Algorithm. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin |
The First Twenty-Five Years of Industrial Use of the B-Method. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy |
A Safety Flasher Developed with the CLEARSY Safety Platform. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
Formal Verification of OIL Component Specifications using mCRL2. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol |
The 2020 Expert Survey on Formal Methods. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent |
Verification of a Failure Management Protocol for Stateful IoT Applications. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Dejan Nickovic (eds.) |
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanni Kouskoulas, Thyago J. Machado, Daniel Genin |
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Huang 0001, Rance Cleaveland |
Temporal-Logic Query Checking over Finite Data Streams. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott |
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. |
FMICS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Tim A. C. Willemse (eds.) |
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bouwman, Bob Janssen, Bas Luttik |
Formal Modelling and Verification of an Interlocking Using mCRL2. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Rockai, Jiri Barnat |
A Simulator for LLVM Bitcode. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek, Alessio Ferrari 0001, Axel Legay |
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian |
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda |
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Berger 0002, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow |
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang 0006 |
Probabilistic Verification for Reliable Network-on-Chip System Design. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Volk 0001, Norman Weik, Joost-Pieter Katoen, Nils Nießen |
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Quinton |
Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Henri Hansen |
Progress Checking for Dummies. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides |
Formal Verification of a Programmable Hypersurface. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen |
A Note on Refinement in Hierarchical Transition Systems. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Alnis Murtovi |
M3C: Modal Meta Model Checking. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulian Ober |
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Frédéric Lang, Laurent Mounier |
Compositional Verification in Action. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler |
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Jiri Barnat (eds.) |
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David Huistra, Jeroen Meijer, Jaco van de Pol |
Adaptive Learning for Learn-Based Regression Testing. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria |
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool |
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse |
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Loic Gelle, Hassen Saïdi, Ashish Gehani |
Wholly!: A Build System For The Modern Software Stack. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Steffen Becker |
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf |
A Modeling Language for Security Threats of IoT Systems. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kölbl, Stefan Leue |
Automated Functional Safety Analysis of Automated Driving Systems. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Anne E. Haxthausen |
Safety Interlocking as a Distributed Mutual Exclusion Problem. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Tiziana Margaria |
Predicate Abstraction and Such... |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Frohme, Bernhard Steffen |
Active Mining of Document Type Definitions. |
FMICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen |
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue |
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller |
Successful Use of Incremental BMC in the Automotive Industry. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaylash Chaudhary, Ansgar Fehnker |
Model Checking a Server-Side Micro Payment Protocol. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco C. van de Pol |
Automated Verification of Nested DFS. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran |
Require, Test and Trace IT. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Timed Mobility and Timed Communication for Critical Systems. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann |
Formal Verification of Industrial Critical Software. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar |
On the Formal Verification of Optical Quantum Gates in HOL. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 320 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license