• Suche: "Formal Methods in Software Verification and Control"

Treffer 61 - 80 von 135

61

Identification of Unobservable Behavior in a Stochastic Discrete Event System with a Low Number of Sensors
Rubén Santillán-Mosquera ; Mariela Muñoz-Añasco
MethodsX
MethodsX, Vol 11, Iss, Pp 102316-(2023)

Science Modeling and Control of... Social Sciences Business, Management and... Unobservable Quantum mechanics …
Fachzeitschrift
Zu den Favoriten
62

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Olarte, Carlos ; Pimentel, Elaine ; Rocha, Camilo ; et al.
Journal of Logical and Algebraic Methods in Programming

FOS: Computer and inform... Intermediate logic Computer Science - Logic... Rewriting Mathematical proof Linear logic …
Fachzeitschrift
Zu den Favoriten
63

Left recursion in Parsing Expression Grammars
Sérgio Queiroz de Medeiros ; Fabio Mascarenhas ; Roberto Ierusalimschy
Lecture Notes in Computer Science ISBN: 9783642331817

FOS: Computer and inform... Artificial intelligence Formal Languages and Aut... Abstract Interpretation Computer Science - Forma... 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
64

Alternating-time temporal logic with resource bounds
Hoang Nga Nguyen ; Natasha Alechina ; Brian Logan ; et al.
Journal of Logic and Computation. 28:631-663

Non-monotonic logic Strategic Ability, Resou... Resource (disambiguation... Temporal logic 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
65

Choice of a PISA selector in a hybrid algorithmic structure for the FJSSP
Mariano Frutos ; Fernando Tohmé
Decision Science Letters, Vol 4, Iss 2, Pp 247-260 (2015)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Artificial intelligence 0211 other engineering a... Flexible Job-Shop 02 engineering and techn... Scheduling Problem HF5691-5716 …
Fachzeitschrift
Zu den Favoriten
66

Functional Verification of Digital Systems Using Meta-Heuristic Algorithms
Alfonso Martínez-Cruz ; Ignacio Algredo‐Badillo ; Alejandro Santiago ; et al.
Digital Systems ISBN: 9781789845402
Digital Systems

Artificial intelligence Particle swarm optimizat... Runtime Verification Swarm intelligence FOS: Mechanical engineer... Heuristic …
Buch
Zu den Favoriten
67

A Statistical Model Checker for Nondeterminism and Rare Events
Sean Sedwards ; Pedro R. D’Argenio ; Arnd Hartmanns ; et al.
Lecture Notes in Computer Science ISBN: 9783319899626
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems

Parallel computing Model checking Model-Based Testing Geometry 0102 computer and inform... 02 engineering and techn... …
Buch
Zu den Favoriten
68

Coherence of Gray Categories via Rewriting
Simon Forest ; Samuel Mimram ; Simon Forest and Samuel Mimram

Combinatorics on Words Automaton Rewriting precategory Corollary Automata Theory and Form... …
Zu den Favoriten
69

Call-by-Need, Neededness and All That
Andrés Viso ; Alejandro Ríos ; Delia Kesner
Lecture Notes in Computer Science ISBN: 9783319893655

FOS: Computer and inform... Computer Science - Logic... Idempotence Geometry 0102 computer and inform... 02 engineering and techn... …
Buch
Zu den Favoriten
70

A Hierarchy of Scheduler Classes for Stochastic Automata
Pedro R. D'Argenio ; Sean Sedwards ; Arnd Hartmanns ; et al.
Lecture Notes in Computer Science ISBN: 9783319893655
21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Foundations of Software Science and Computation Structures

FOS: Computer and inform... Automaton Computer Science - Logic... Artificial intelligence Economics Geometry …
Buch
Zu den Favoriten
71

A novel SAT solver for the Van der Waerden numbers
Munira A. Abd El-Maksoud ; Areeg Abdalla
Journal of the Egyptian Mathematical Society. 27

Text Compression and Ind... Automata Theory and Form... Van der Waerden's theore... Mathematical optimizatio... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
72

Modeling faults of quadcopter aerial vehicle using petri nets
Ailet Abreu López ; Julio Cesar Bravo Cortés ; José Rafael Abreu García ; et al.
ITEGAM- Journal of Engineering and Technology for Industrial Applications (ITEGAM-JETIA). 5

Artificial intelligence 0209 industrial biotechn... Modeling and Control of... FOS: Political science 02 engineering and techn... Reliability engineering …
Fachzeitschrift
Zu den Favoriten
73

Factoring Derivation Spaces via Intersection Types (Extended Version)
Gonzalo Ciruelos ; Pablo Barenbaum
arXiv: Logic in Computer Science.

FOS: Computer and inform... Computer Science - Logic... Separation Logic Economics Curry–Howard corresponde... 0102 computer and inform... …
Zu den Favoriten
74

A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction
Mohamed Bouhdadi ; Rajaa Filali
Journal of Computer Networks and Communications, Vol 2014 (2014)

Alternative medicine Computer Networks and Co... Modeling and Control of... Transaction processing Epistemology 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
75

Testing Automation of Context-Oriented Programs Using Separation Logic
Mohamed A. El-Zawawy
Applied Computational Intelligence and Soft Computing, Vol 2014 (2014)

Separation Logic FOS: Mechanical engineer... 02 engineering and techn... Autonomic Computing and... Logic programming Automation …
Fachzeitschrift
Zu den Favoriten
76

Tracking y Multitracking Radar
Jimmy Anderson Flórez Zuluaga
Ciencia y Poder Aéreo, Vol 8, Iss 1, Pp 81-90 (2013)

Artificial intelligence Aerospace Engineering FOS: Mechanical engineer... Engineering Tracking (education) Psychology …
Fachzeitschrift
Zu den Favoriten
77

Functional test data generation for Simulink-like models
Márcio Eduardo Delamaro ; José Carlos Maldonado ; Rodrigo Fraxino Araujo
Journal of the Brazilian Computer Society. 19:325-339

Artificial intelligence Model-Based Testing Code coverage Set (abstract data type) 02 engineering and techn... Testing-Effort Dependent... …
Fachzeitschrift
Zu den Favoriten
78

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Nuno Laranjeiro ; Cristina Gómez ; Enrico Schiavone ; et al.
2019 9th Latin-American Symposium on Dependable Computing (LADC)

Cyber-physical Systems Validation Verification Runtime Verification 0211 other engineering a... Safety Assurance in Comp... …
Fachzeitschrift
Zu den Favoriten
79

Formal verification of reconfigurable systems
Muhammad Abdul Basit Ur Rahim ; Muhammad Ahsan Ur Raheem ; Muhammad Khalid Sohail ; et al.

Artificial intelligence Robot Reconfigurable Manufactu... Safety Assurance in Comp... FOS: Mechanical engineer... Automotive engineering …
Zu den Favoriten
80

Compositional abstraction ofCSP Z processes
Adalberto Farias ; Alexandre Mota ; Augusto Sampaio
Journal of the Brazilian Computer Society. 14:23-44

Independence (probabilit... Artificial intelligence Class (philosophy) Epistemology 02 engineering and techn... Abstract data type …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter