Search results
From MaRDI portal
- Publication Type Bayesian decision-theoretic design of experiments under an alternative model 2024-02-27 Paper Bayesian design for minimizing prediction uncertainty...10 bytes (19 words) - 11:57, 11 December 2023
- 1980-01-01 Paper On the design and specification of message oriented programs 1980-01-01 Paper An approach for data type specification and its use in program...10 bytes (22 words) - 10:44, 13 December 2023
- system specification 1992-09-27 Paper Temporal Reasoning over Deontic Specifications 1991-01-01 Paper Logics of Modal Terms for Systems Specification 1990-01-01...10 bytes (19 words) - 19:56, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q3875333 1980-01-01 Paper On the design and specification of message oriented programs 1980-01-01 Paper Pumping lemmas for...10 bytes (21 words) - 15:15, 12 December 2023
- 2014-12-16 Paper Hypermap Specification and Certified Linked Implementation Using Orbits 2014-09-08 Paper Formal specification and proofs for the topology...10 bytes (18 words) - 18:56, 11 December 2023
- Publication Date of Publication Type Data type specification 2014-03-14 Paper Parameter passing in algebraic specification languages 1984-01-01 Paper Recursion and...10 bytes (18 words) - 22:54, 12 December 2023
- Reachability by Design 2012-09-21 Paper Non-standard semantics of hybrid systems modelers 2012-08-17 Paper A Modal Interface Theory for Component-based Design 2012-07-04...10 bytes (16 words) - 00:04, 12 December 2023
- mardi4nfdi.de/entity/Q4808785 2004-08-12 Paper Domain-Specific Language Design Requires Feature Descriptions 2002-12-04 Paper An empirical study into COBOL...10 bytes (18 words) - 05:39, 9 December 2023
- Paper Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) 2014-06-05 Paper On the...10 bytes (18 words) - 03:25, 9 December 2023
- reliability based on degradation process 2022-09-14 Paper Multidimensional specification test based on non-stationary time series 2022-08-04 Paper https://portal...10 bytes (17 words) - 23:16, 9 December 2023
- de/entity/Q4138067 1977-01-01 Paper Design and Specification of the Minimal Subset of an Operating System Family 1976-01-01 Paper On the Design and Development of Program...10 bytes (19 words) - 13:35, 11 December 2023
- Paper Pre-filter design for tracking error specifications in QFT 2003-07-31 Paper Non-diagonal controllers in MIMO quantitative feedback design 2002-08-08 Paper...10 bytes (16 words) - 12:40, 9 December 2023
- of contracts with Themulus 2021-07-08 Paper Discussion on: ``Formal specification method for systems automation 2014-08-07 Paper Transforming web services...10 bytes (18 words) - 13:42, 28 January 2024
- of the GraalVM intermediate representation 2022-06-22 Paper Software Specification 2022-02-14 Paper Encoding fairness in a synchronous concurrent program...10 bytes (18 words) - 14:34, 8 December 2023
- 2010-09-24 Paper Application of the trace assertion method to the specification, design, and verification of automaton programs 2009-09-04 Paper...10 bytes (18 words) - 03:13, 13 December 2023
- Algebraic and functional specification of an interactive serializable database interface 1992-09-27 Paper Specification and design of shared resource arbitration...10 bytes (17 words) - 08:16, 9 December 2023
- Systems specification by basic protocols 2006-10-20 Paper Basic protocols, message sequence charts, and the verification of requirements specifications 2005-11-07...10 bytes (19 words) - 03:51, 13 December 2023
- Verification: Theory and Practice 2010-03-23 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Verifying time partitioning in the DEOS scheduling kernel...10 bytes (17 words) - 06:53, 9 December 2023
- Data-driven rate-optimal specification testing in regression models 2005-09-12 Paper OPTIMAL MINIMAX RATES FOR NONPARAMETRIC SPECIFICATION TESTING IN REGRESSION...10 bytes (16 words) - 15:35, 10 December 2023
- Correctness of Natural Mergesort 2017-07-12 Paper Behavioral interface specification languages 2014-08-13 Paper Automating Theorem Proving with SMT 2013-08-07...10 bytes (20 words) - 14:45, 12 December 2023