首页>外文会议>International workshop on algebraic development techniques

International workshop on algebraic development techniques

召开年：2014
召开地：Sinaia(RO)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.On Logic Embeddings and Goedel's God

机译：论逻辑嵌入和戈德尔的上帝
- 作者：Christoph Benzmueller;Bruno Woltzenlogel Paleo
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
2.An Institutional Foundation for the K Semantic Framework

机译：K语义框架的制度基础
- 作者：Claudia Elena Chirita;Traian Florin Serbanuta
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
3.A Theoretical Foundation for Programming Languages Aggregation

机译：编程语言聚合的理论基础
- 作者：Stefan Ciobaca;Dorel Lucanu;Vlad Rusu;Grigore Rose
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
4.Coalgebraic Semantics of Heavy-Weighted Automata

机译：加权自动机的合并代数语义
- 作者：Marie Fortin;Marcello M. Bonsangue;Jan Rutten
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
5.Foundations of Logic Programming in Hybridised Logics

机译：混合逻辑中逻辑编程的基础
- 作者：Daniel Gaina
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
6.What Is a Derived Signature Morphism?

机译：什么是派生签名形态？
- 作者：Till Mossakowski;Ulf Krumnack;Tom Maibaum
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
7.Use Case Analysis Based on Formal Methods: An Empirical Study

机译：基于形式化方法的用例分析：一项实证研究
- 作者：Marcos Oliveira Jr.;Leila Ribeiro;Erika Cota;Lucio Mauro Duarte;Ingrid Nunes;Filipe Reis
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
- Use cases;
- Graph transformation;
- Empirical study;
- Model analysis;
8.A Full Operational Semantics for Asynchronous Relational Networks

机译：异步关系网络的完整操作语义
- 作者：Ignacio Vissani;Carlos Gustavo Lopez Pombo;Ionut Tutu;Jose Luiz Fiadeiro
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
9.A SOC-Based Formal Specification and Verification of Hybrid Systems

机译：基于SOC的混合系统形式规范和验证
- 作者：Ning Yu;Martin Wirsing
- 会议名称：《International workshop on algebraic development techniques》 | 2015年
- Hybrid transition systems;
- SRML;
- Differential equations;
- dTL;
10.Preface

机译：前言
- 作者：Mihai Codescu;Razvan Diaconescu;Ionut Tutu
- 会议名称：《International workshop on algebraic development techniques》 | 2015年