Zum Inhalt springen

BAUER, SEBASTIAN S.; JUHL, LINE; LARSEN, KIM G.; LEGAY, AXEL; SRBA, JIŘÍ

Extending modal transition systems with structured labels

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2012

Erschienen in: Mathematical Structures in Computer Science
Juhl, Line; Larsen, Kim G.; Srba, Jiřı´

Modal transition systems with weight intervals

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2012

Erschienen in: The Journal of Logic and Algebraic Programming
Sassolas, Mathieu; Chechik, Marsha; Uchitel, Sebastian

Exploring inconsistencies between modal transition systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2011

Erschienen in: Software & Systems Modeling
Beneš, N.; Křetínský, J.; Larsen, K.G.; Srba, J.

On determinism in modal transition systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2009

Erschienen in: Theoretical Computer Science
BENTHEM, JOHAN VAN; EIJCK, JAN VAN; STEBLETSOVA, VERA

Modal Logic, Transition Systems and Processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 1994

Erschienen in: Journal of Logic and Computation
ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

On the expressiveness of modal transition systems with variability constraints

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2019

Erschienen in: Science of Computer Programming
Fahrenberg, Uli; Legay, Axel

General quantitative specification theories with modal transition systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2014

Erschienen in: Acta Informatica
Darondeau, Philippe

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2012

Erschienen in: IFAC Proceedings Volumes
Sibay, German E.; Uchitel, Sebastián; Braberman, Victor; Kramer, Jeff

FM 2012: Formal Methods: Distribution of Modal Transition Systems

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: FM 2012: Formal Methods
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří

Automated Technology for Verification and Analysis: Parametric Modal Transition Systems

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Automated Technology for Verification and Analysis
Fecher, H.; Schmidt, H.

Comparing disjunctive modal transition systems with an one-selecting variant

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2008

Erschienen in: The Journal of Logic and Algebraic Programming
Otto, Martin

Modal and guarded characterisation theorems over finite transition systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2004

Erschienen in: Annals of Pure and Applied Logic
ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

Software Engineering and Formal Methods: From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2015

Erschienen in: Software Engineering and Formal Methods
Huth, Michael; Jagadeesan, Radha; Schmidt, David

Programming Languages and Systems: Modal Transition Systems: A Foundation for Three-Valued Program Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2001

Erschienen in: Programming Languages and Systems
Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie

From Programs to Systems. The Systems perspective in Computing: Parametric and Quantitative Extensions of Modal Transition Systems

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2014

Erschienen in: From Programs to Systems. The Systems perspective in Computing
Dimovski, Aleksandar S.

$$\hbox {CTL}^{\star }$$ family-based model checking using variability abstractions and modal transition systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2020

Erschienen in: International Journal on Software Tools for Technology Transfer
Dima, Catalin; Maubert, Bastien; Pinchinat, Sophie

Relating Paths in Transition Systems : The Fall of the Modal Mu-Calculus : The Fall of the Modal Mu-Calculus

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2018

Erschienen in: ACM Transactions on Computational Logic
Křetínský, Jan

Lecture Notes in Computer Science: 30 Years of Modal Transition Systems: Survey of Extensions and Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2017

Erschienen in: Lecture Notes in Computer Science
Krka, Ivo; D’Ippolito, Nicolás; Medvidović, Nenad; Uchitel, Sebastián

Lecture Notes in Computer Science: Revisiting Compatibility of Input-Output Modal Transition Systems

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Lecture Notes in Computer Science
Guerra, Paulo T.; Andrade, Aline; Wassermann, Renata

Lecture Notes in Computer Science: Toward the Revision of CTL Models through Kripke Modal Transition Systems

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Lecture Notes in Computer Science

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr