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

Treffer 81 - 100 von 135

81

Modeling And Formal Specification Of Air Traffic Control System Using Z Notation
Maryam Jamal ; Nazir Ahmad Zafar
JISR Management and Social Sciences & Economics, Vol 5, Iss 2 (2007)

Air Traffic Control Syst... HF5001-6182 Safety Assurance in Comp... Set (abstract data type) Advanced Software Engine... Formal Methods …
Fachzeitschrift
Zu den Favoriten
82

Formal Specification and Verification of Real-Time Systems using Graph Grammars
Leonardo Michelon ; Leila Ribeiro ; Simone André da Costa
Repositório Institucional da UFRGS
Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
Journal of the Brazilian Computer Society v.13 n.4 2007
Journal of the Brazilian Computer Society
Sociedade Brasileira de Computação (SBC)
Journal of the Brazilian Computer Society, Volume: 13, Issue: 4, Pages: 51-68, Published: DEC 2007

Automaton Composite material Model checking Artificial intelligence Generative grammar Formal specification and... …
Fachzeitschrift
Zu den Favoriten
83

Computing multihomogeneous resultants using straight-line programs
Gabriela Jeronimo ; Juan Sabia
J. Symb. Comput. 2007;42(1-2):218-235
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

Line (geometry) Geometry Symbolic Computing in Al... 0102 computer and inform... Polynomial Mathematical analysis …
Fachzeitschrift
Zu den Favoriten
84

Resolution Calculi for Non-normal Modal Logics
Dirk Pattinson ; Nicola Olivetti ; Cláudia Nalon

Predicate (mathematical... Artificial intelligence Economics Epistemology 7. Clean energy Mathematical analysis …
Zu den Favoriten
85

On fast path‐finding algorithms in AND‐OR graphs: On fast path-finding algorithms in AND-OR graphs
George M. Adelson-Velsky ; Alexander Gelbukh ; Eugene Levner
Mathematical Problems in Engineering. 8:283-293

Artificial intelligence Computer Networks and Co... 0211 other engineering a... AND-OR graphs 02 engineering and techn... 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
86

A note on homomorphisms of Hilbert algebras
Sergio A. Celani
International Journal of Mathematics and Mathematical Sciences, Vol 29, Iss 1, Pp 55-61 (2002)

order-ideal Projective Hilbert space irreducible deductive sy... Generalization Epistemology 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
87

Discounted Markov Decision Processes with Constrained Costs: the decomposition approach
Abdellatif Semmouri ; Mostafa Jourhmane ; Bahaa Eddine Elbaghazaoui
E3S Web of Conferences, Vol 229, p 01047 (2021)

Policy Gradient Markov chain Reinforcement Learning A... 0211 other engineering a... FOS: Mechanical engineer... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
88

Bottom-Up derivatives of tree expressions
Samira Attou ; Ludovic Mignot ; Djelloul Ziadi
RAIRO - Theoretical Informatics and Applications. 55:4

FOS: Computer and inform... Combinatorics on Words Automaton Formal Languages and Aut... Automata Theory and Form... Abstract Interpretation …
Fachzeitschrift
Zu den Favoriten
89

A CPN/B method transformation framework for railway safety rules formal validation
Zakaryae Boudi ; Rahma Ben-Ayed ; El Miloudi El Koursi ; et al.
European Transport Research Review. 9

Artificial intelligence Modeling and Control of... Geometry 0102 computer and inform... Biochemistry Gene …
Fachzeitschrift
Zu den Favoriten
90

A Framework to Reason about the Knowledge of Agents in Continuous Dynamic Systems
Ammar Mohammed ; Manzoor Ahmed
International Journal of Advanced Computer Science and Applications. 8

Automaton Hybrid automaton Artificial intelligence Epistemic modal logic Multimodal logic 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
91

A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Claudia Frydman ; Gianfranco Rossi

Artificial intelligence Set (abstract data type) Decidability Quantifier (linguistics) Mathematical analysis Artificial Intelligence …
Zu den Favoriten
92

Determinação de Códigos Convolucionais de Memória Unitária Ótimos: um Problema de Otimização via Seleção e Alocação de Recursos
A. Said ; R. Palazzo
Journal of Communication and Information Systems. 5:1-21

Text Compression and Ind... Physics 4. Education Unit (ring theory) FOS: Humanities 16. Peace & justice …
Fachzeitschrift
Zu den Favoriten
93

An Algorithmic approach for abstracting transient states in timed systems
Houda Bel Mokadem ; Mohammed Achkari Begdouri ; Mohamed El Haddad
International Journal of Advanced Computer Science and Applications. 7

Model checking 0209 industrial biotechn... Runtime Verification Temporal logic Decidability 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
94

Schedulability Analysis of Mode Changes with Arbitrary Deadlines
Paulo S. Martins ; Iao G ; M. A. ; et al.
Real-Time Systems, Architecture, Scheduling, and Application ISBN: 9789535105107
Real-Time Systems, Architecture, Scheduling, and Application

Dynamic Reconfiguration Real-Time Scheduling in... Reconfigurable Computing... Mode (computer interface... Multiprocessor Schedulin... Computer science …
Buch
Zu den Favoriten
95

Extending statecharts to model system interactions
Matheus Mazini Ramos ; Paulo César Masiero ; Rosângela A. D. Penteado ; et al.
Journal of Software Engineering Research and Development. 3

System of systems Artificial intelligence Complex system Economics 02 engineering and techn... Autonomic Computing and... …
Fachzeitschrift
Zu den Favoriten
96

Automatic Construction of Java Programs from Functional Program Specifications
Md. Humayun Kabir
International Journal of Advanced Computer Science and Applications. 6

Executable 0211 other engineering a... 02 engineering and techn... Java concurrency Theoretical computer sci... Scala …
Fachzeitschrift
Zu den Favoriten
97

Model Checking Self-Stabilising in Embedded Systems with Linear Temporal Logic
Rim Marah ; Abdelaaziz El Hibaoui
International Journal of Advanced Computer Science and Applications. 6

Model checking Computer Networks and Co... Formalism (music) Temporal logic Epistemology 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
98

A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Andreas Abel ; Thierry Coquand ; Miguel Pagano
Lecture Notes in Computer Science ISBN: 9783642022722
Logical Methods in Computer Science, Vol Volume 7, Issue 2 (2011)

FOS: Computer and inform... Computer Science - Logic... Corollary Mathematical proof 02 engineering and techn... 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
99

On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study
Chadlia Jerad ; Kamel Barkaoui ; Amel Grissa Touzi ; et al.
Electronic Workshops in Computing.

Rewriting Executable Runtime Verification Temporal logic 02 engineering and techn... [INFO] Computer Science... …
Fachzeitschrift
Zu den Favoriten
100

Zenoness detection and timed model checking for real time systems
Rachid Hadjidj ; Hanifa Boucheneb ; Drifa Hadjidj
Electronic Workshops in Computing.

Model checking Artificial intelligence Class (philosophy) Modeling and Control of... Runtime Verification Geometry …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter