$$\mathcal {S}$$ BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems (Englisch)
- Neue Suche nach: Mediouni, Braham Lotfi
- Neue Suche nach: Nouri, Ayoub
- Neue Suche nach: Bozga, Marius
- Neue Suche nach: Dellabani, Mahieddine
- Neue Suche nach: Legay, Axel
- Neue Suche nach: Bensalem, Saddek
- Neue Suche nach: Mediouni, Braham Lotfi
- Neue Suche nach: Nouri, Ayoub
- Neue Suche nach: Bozga, Marius
- Neue Suche nach: Dellabani, Mahieddine
- Neue Suche nach: Legay, Axel
- Neue Suche nach: Bensalem, Saddek
In:
Automated Technology for Verification and Analysis
3
;
536-542
;
2018
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:$$\mathcal {S}$$ BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
-
Beteiligte:Mediouni, Braham Lotfi ( Autor:in ) / Nouri, Ayoub ( Autor:in ) / Bozga, Marius ( Autor:in ) / Dellabani, Mahieddine ( Autor:in ) / Legay, Axel ( Autor:in ) / Bensalem, Saddek ( Autor:in )
-
Erschienen in:Automated Technology for Verification and Analysis , 3 ; 536-542Programming and Software Engineering ; 11138, 3 ; 536-542
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2018
-
Format / Umfang:7 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle: