Search results
From MaRDI portal
- Publication date: 6 December 2001 Mathematics Subject Classification ID 68Q45: Formal languages and automata 68N30: Mathematical aspects of software engineering...15 bytes (73 words) - 15:24, 3 February 2024
- Keywords message sequence charts; communication protocols Mathematics Subject Classification ID 68Q85: Models and methods for concurrent and distributed...15 bytes (80 words) - 08:43, 8 February 2024
- Keywords NLP; neural networks; text classification; MSC; Mathematics Subject Classification Mathematics Subject Classification ID 68T05: Learning and adaptive...15 bytes (65 words) - 05:39, 1 February 2024
- analysis; MathML; MSC; mathematical knowledge management; mathematical markup language; mathematical subject classification; SKOS Mathematics Subject Classification...15 bytes (73 words) - 20:30, 3 February 2024
- hyperelasticity; Hencky's material; MSC.Marc code Mathematics Subject Classification ID 74B20: Nonlinear elasticity Uses Software MSC.MARC...15 bytes (56 words) - 10:34, 8 February 2024
- Protocol; Message Sequence Charts (MSC); MSC Connector; System Family Engineering Mathematics Subject Classification ID 68M10: Network design and communication...15 bytes (73 words) - 03:35, 7 February 2024
- 256.htm Mathematics Subject Classification ID 68Q60: Specification and verification (program logics, model checking, etc.) 68N30: Mathematical aspects...15 bytes (71 words) - 07:12, 7 February 2024
- QIDQ4536625 No author found. Publication date: 25 June 2002 Mathematics Subject Classification ID 68Q45: Formal languages and automata 68Q60: Specification...15 bytes (75 words) - 11:00, 7 February 2024
- Sequence Chart; TTCN-3: Test and Test Control Notation Version-3 Mathematics Subject Classification ID 68U99: Computing methodologies and applications 68M99:...15 bytes (80 words) - 05:41, 7 February 2024
- 012 zbMATH Keywords clay foam; sandy load; software MSC/DYTRAN Mathematics Subject Classification ID 74S05: Finite element methods applied to problems...15 bytes (99 words) - 08:21, 1 February 2024
- zbMATH Keywords verification; decomposition; MSC-scenarios; SDL generation Mathematics Subject Classification ID 68U99: Computing methodologies and applications...15 bytes (28 words) - 22:49, 3 February 2024
- Poly-FEM; research theory; STRIPE Mathematics Subject Classification ID 74S05: Finite element methods applied to problems in solid mechanics 65N12: Stability and...15 bytes (115 words) - 21:15, 6 February 2024
- time-stamping; labeled partial orders Mathematics Subject Classification ID 68M14: Distributed systems Related Items A theory of regular MSC languages Cites Work Asynchronous...15 bytes (114 words) - 12:11, 1 February 2024
- flow; nonnegative lower capacities; unbounded upper capacities Mathematics Subject Classification ID 68Q25: Analysis of algorithms and problem complexity 90B10:...15 bytes (43 words) - 15:05, 5 February 2024
- in: European Mathematical Society Newsletter (Search for Journal in Brave) zbMATH Keywords semantic web; mathematics subject classification scheme; simple...15 bytes (57 words) - 05:11, 30 January 2024
- org/abs/2104.14408 zbMATH Keywords synchronizability; MSC; communicating automata Mathematics Subject Classification ID 68Q45: Formal languages and automata...15 bytes (47 words) - 23:26, 1 February 2024
- Brave) zbMATH Keywords test generation; macros; MSC; program testing Mathematics Subject Classification ID 68N99: Theory of software...15 bytes (47 words) - 07:59, 30 January 2024
- knowledge metrics; ontology of subject domain Mathematics Subject Classification ID 68T30: Knowledge representation Uses Software MSC PRMLT...15 bytes (57 words) - 04:04, 2 February 2024
- 7.htm Mathematics Subject Classification ID 68Q60: Specification and verification (program logics, model checking, etc.) Related Items LTSA-MSC...15 bytes (50 words) - 03:48, 7 February 2024
- CADP; MSC; model composition; GraphViz; MDA process; model improvements; UML2.0; VERIMAG IFx Mathematics Subject Classification ID 68N30: Mathematical aspects...15 bytes (49 words) - 15:09, 6 March 2024
