Modeling, specification, and verification of automaton programs (original) (raw)
Related papers
Automatism – A Case of Reality Testing
Forensic Science International: Mind and Law, 2020
Programming and Computer Software, 2009
Semantics for Classical AUTOMATH and Related Systems
Information and Computation/information and Control - IANDC, 1983
International Journal of Automation and Computing
Model and synthesize security automata
2006
An Intelligent Apitesting: Unleashing the Power of AI
International journal of software engineering and applications, 2024
Theoretical Computer Science, 1988
Parametrized automata simulation and application to service composition
Yannick Chevalier, Michael Rusinowitch
Journal of Symbolic Computation, 2015
1980
Implementing Automaton Behavior with Fuzzy Controllers
Computer Modeling and Intelligent Systems
Hybrid automata: from verification to implementation
International Journal on Software Tools for Technology Transfer, 2017
Regular processes and timed automata
Lecture Notes in Computer Science, 1997
From Robotic Process Automation to Intelligent Process Automation
Lecture notes in business information processing, 2020
Timed automaton models for simple programmable logic controllers
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99
Paving the Road to Business Process Automation
Ecis, 2000
Proceedings of the 36th International Conference on Software Engineering
Proceedings of the 36th International Conference on Software Engineering, 1989
Evolution of integrated automation approach
Proceedings of the 9th WSEAS international …, 2010
On the Specification of Higher Dimensional Automata
Electronic Notes in Theoretical Computer Science, 2002
Checking formal verification models for human-automation interaction
2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014
A Capstone and Design Project on Process Automation: Technical Details and Student Learning
2017 ASEE Annual Conference & Exposition Proceedings
Precise documentation of requirements and executable specifications
Using domain specific languages for software process modeling
2007
An Approach to Process Automation Based on Cooperating Subprocess Agents
Lecture Notes in Computer Science, 2003
A Model-Based Approach for Achieving Available Automation Systems
Proceedings of the 19th IFAC World Congress, 2014
CASE: The coming of age for automated software development
Automated Software Engineering, 1996
Fresh-variable automata for service composition
Gate automata-driven run-time enforcement
Computers & Mathematics with Applications, 2012
Software support for building end-user programming environments in the automation domain
Proceedings of the 4th international workshop on End-user software engineering - WEUSE '08, 2008
On the Representation of Finite Automata
arXiv (Cornell University), 2009
Software tools for helping with the design and implementation of automation projects
31st Annual Frontiers in Education Conference. Impact on Engineering and Science Education. Conference Proceedings (Cat. No.01CH37193)
Electronic Notes in Theoretical Computer Science, 2005
Automata concepts over game design process
Bulletin of the "Transilvania" University of Braşov. Series III, Mathematics and Computer Science, 2024
A language-based approach to autonomic computing
2013
Process modelling to support dependability arguments
Proceedings International Conference on Dependable Systems and Networks