Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by AKIO NAKATA
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
International Journal of Foundations of Computer Science
Computer Science
Related publications
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Liveness in L/U-Parametric Timed Automata
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Invariants
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Semi-Parametric Regression Analysis of Interval-Censored Failure Time Data||Semi-Parametric Regression Analysis of Interval-Censored Failure Time Data
Toward Parametric Timed Interfaces for Real-Time Components
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time and Action Lock Freedom Properties for Timed Automata
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
