Sortiert nach
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Link zum Volltext
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Link zum Volltext
Formal aspects of computing, 2021, Vol.33 (1), p.1-2
2021
Link zum Volltext
Formal aspects of computing, 2012-03, Vol.24 (2), p.187-216
2012
Link zum Volltext
Formal aspects of computing, 2024-06
2024
Link zum Volltext
Proceedings of the 18th International Software Product Line Conference - Volume 1, 2014, p.353-353
2014
Link zum Volltext
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014, p.31-37
2014
Link zum Volltext
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012, p.1510-1515
2012
Link zum Volltext
Proceedings of the 21st International Systems and Software Product Line Conference - Volume B, 2017, p.13-16
2017
Link zum Volltext
Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, 2014, p.78-85
2014
Link zum Volltext
Proceedings of the 8th International Conference on Computational Methods in Systems Biology, 2010, p.66-75
2010
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Model Checking
- Science & Technology
- Technology
- Theory Of Computation
- Theory Of Computation -- Logic -- Verification By Model Checking
- General And Reference -- Cross-Computing Tools And Techniques -- Validation
- Math Applications In Computer Science
- Variability
- Actor Model
- Applied Computing
- Applied Computing -- Life And Medical Sciences -- Computational Biology
- Applied Computing -- Life And Medical Sciences -- Genetics
- Applied Computing -- Life And Medical Sciences -- Systems Biology
- Behavioral Analysis
- Bisimulation
- Coordination Languages
- Discrete Regulatory Networks
- Distributed Systems
Kollektion
Zeitschrift / Serie
Neu hinzugefügt