Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. Pascal Gribomont
Development of Concurrent Systems by Incremental Transformation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Concurrent Engineering Practices That Reduce New Product Development Cycle Time for Incremental and Radical Innovation
A Parallel, Incremental, Mostly Concurrent Garbage Collector for Servers
ACM Transactions on Programming Languages and Systems
Software
Model Reduction for Nonlinear Systems by Incremental Balanced Truncation
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CASE Tools as Organizational Change: Investigating Incremental and Radical Changes in Systems Development
Compositional Verification of Reactive Systems Specified by Graph Transformation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Perspective Development of Energy Systems in Conditions of Russian Economy Digital Transformation
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
Temporal Debugging for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
